Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 3 of 3 for:
mils
1
high assurance
1 ?
 21,213,375 websites (safe search)

  1. Galois: Home

    The Galois mission is to create trustworthiness in critical systems. To that end, Galois develops high assurance software for demanding applications.
    FPGA2
    TSE1
    crypto1
    software security1
    haskell1
    MILS1
    software assurance1
    secure software1
    secure collaboration1
    galois1
    signali1
    cross-domain1
    high assurance1
    doc server1
    high assurance software1
    cryptol1
    docserver1
    dependable software1
    doc-server1
    galois beaverton1
    galois oregon1
    galois portland1
    John Launchbury1
    Laura McKinney1
    multi-level security1
    secure mashups1
    secure mash ups1
    secure mash-ups1
    software security assurance1
    trusted services engine1
    type 1 crypto1

    galois.com - 2009-03-07

  2. Galois: cryptol

    The Galois mission is to create trustworthiness in critical systems. To that end, Galois develops high assurance software for demanding applications.
    FPGA2
    TSE1
    crypto1
    software security1
    haskell1
    MILS1
    software assurance1
    secure software1
    secure collaboration1
    galois1
    signali1
    cross-domain1
    high assurance1
    doc server1
    high assurance software1
    cryptol1
    docserver1
    dependable software1
    doc-server1
    galois beaverton1
    galois oregon1
    galois portland1
    John Launchbury1
    Laura McKinney1
    multi-level security1
    secure mashups1
    secure mash ups1
    secure mash-ups1
    software security assurance1
    trusted services engine1
    type 1 crypto1

    www.cryptol.net - 2009-02-14

  3. Ashton Security Laboratories - Home

    Ashton Security Laboratories, LLC provides guidance to companies seeking Common Criteria evaluations for their products. We can help you take your product from ...
    Home7
    MLS4
    security4
    certification3
    computer security2
    ASL1
    MSL1
    multi-level1
    Common Criteria1
    MILS1
    high assurance1
    security target1
    design assurance1
    EAL41
    common criteria testing lab0
    EAL50
    EAL60
    EAL70

    www.ashtonlabs.com - 2009-02-12

tirol2 hall2 plm specialists1 ferien3 austria3 banquet2 music7 secure collaboration1 product artifact protection1 steuerberater2 fame2 multi-level security1 beratung4 laura mckinney1 planung3 hilfe3 hotel6 process3

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.